第6章 自然数の順序と、計算を利用する証明